1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: (طهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Computability :
پدیدآورنده : by Douglas S. Bridges.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Mathematical Theory.,Mathematics.,Mathematics.,Physical Sciences & Mathematics.
رده :
QA1-939
3. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA9
.
59
K538
2012
4. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
5. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
6. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
7. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
8. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
9. Computability, an introduction to recursive function theory
پدیدآورنده : Nigel Cutland,Title
موضوع : Computable functions,Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
11. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
12. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: (طهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
13. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
14. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
15. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
16. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
17. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
18. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
19. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
20. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
